Optimal. Leaf size=83 \[ -\frac{\left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right )}{3 x^3}-\frac{e r \left (3 a+3 b \log \left (c x^n\right )+b n\right )}{27 x^3}-\frac{b n \left (d+e \log \left (f x^r\right )\right )}{9 x^3}-\frac{b e n r}{27 x^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0744238, antiderivative size = 83, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125, Rules used = {2304, 2366, 12} \[ -\frac{\left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right )}{3 x^3}-\frac{e r \left (3 a+3 b \log \left (c x^n\right )+b n\right )}{27 x^3}-\frac{b n \left (d+e \log \left (f x^r\right )\right )}{9 x^3}-\frac{b e n r}{27 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2304
Rule 2366
Rule 12
Rubi steps
\begin{align*} \int \frac{\left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right )}{x^4} \, dx &=-\frac{b n \left (d+e \log \left (f x^r\right )\right )}{9 x^3}-\frac{\left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right )}{3 x^3}-(e r) \int \frac{-3 a \left (1+\frac{b n}{3 a}\right )-3 b \log \left (c x^n\right )}{9 x^4} \, dx\\ &=-\frac{b n \left (d+e \log \left (f x^r\right )\right )}{9 x^3}-\frac{\left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right )}{3 x^3}-\frac{1}{9} (e r) \int \frac{-3 a \left (1+\frac{b n}{3 a}\right )-3 b \log \left (c x^n\right )}{x^4} \, dx\\ &=-\frac{b e n r}{27 x^3}-\frac{e r \left (3 a+b n+3 b \log \left (c x^n\right )\right )}{27 x^3}-\frac{b n \left (d+e \log \left (f x^r\right )\right )}{9 x^3}-\frac{\left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right )}{3 x^3}\\ \end{align*}
Mathematica [A] time = 0.0741346, size = 69, normalized size = 0.83 \[ -\frac{3 e (3 a+b n) \log \left (f x^r\right )+9 a d+3 a e r+3 b \log \left (c x^n\right ) \left (3 d+3 e \log \left (f x^r\right )+e r\right )+3 b d n+2 b e n r}{27 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.204, size = 1451, normalized size = 17.5 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.1751, size = 134, normalized size = 1.61 \begin{align*} -\frac{1}{9} \, b e{\left (\frac{r}{x^{3}} + \frac{3 \, \log \left (f x^{r}\right )}{x^{3}}\right )} \log \left (c x^{n}\right ) - \frac{b e n{\left (2 \, r + 3 \, \log \left (f\right ) + 3 \, \log \left (x^{r}\right )\right )}}{27 \, x^{3}} - \frac{b d n}{9 \, x^{3}} - \frac{a e r}{9 \, x^{3}} - \frac{b d \log \left (c x^{n}\right )}{3 \, x^{3}} - \frac{a e \log \left (f x^{r}\right )}{3 \, x^{3}} - \frac{a d}{3 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.974325, size = 294, normalized size = 3.54 \begin{align*} -\frac{9 \, b e n r \log \left (x\right )^{2} + 3 \, b d n + 9 \, a d +{\left (2 \, b e n + 3 \, a e\right )} r + 3 \,{\left (b e r + 3 \, b d\right )} \log \left (c\right ) + 3 \,{\left (b e n + 3 \, b e \log \left (c\right ) + 3 \, a e\right )} \log \left (f\right ) + 3 \,{\left (3 \, b e r \log \left (c\right ) + 3 \, b e n \log \left (f\right ) + 3 \, b d n +{\left (2 \, b e n + 3 \, a e\right )} r\right )} \log \left (x\right )}{27 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 32.1929, size = 204, normalized size = 2.46 \begin{align*} - \frac{a d}{3 x^{3}} - \frac{a e r \log{\left (x \right )}}{3 x^{3}} - \frac{a e r}{9 x^{3}} - \frac{a e \log{\left (f \right )}}{3 x^{3}} - \frac{b d n \log{\left (x \right )}}{3 x^{3}} - \frac{b d n}{9 x^{3}} - \frac{b d \log{\left (c \right )}}{3 x^{3}} - \frac{b e n r \log{\left (x \right )}^{2}}{3 x^{3}} - \frac{2 b e n r \log{\left (x \right )}}{9 x^{3}} - \frac{2 b e n r}{27 x^{3}} - \frac{b e n \log{\left (f \right )} \log{\left (x \right )}}{3 x^{3}} - \frac{b e n \log{\left (f \right )}}{9 x^{3}} - \frac{b e r \log{\left (c \right )} \log{\left (x \right )}}{3 x^{3}} - \frac{b e r \log{\left (c \right )}}{9 x^{3}} - \frac{b e \log{\left (c \right )} \log{\left (f \right )}}{3 x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.18625, size = 163, normalized size = 1.96 \begin{align*} -\frac{9 \, b n r e \log \left (x\right )^{2} + 6 \, b n r e \log \left (x\right ) + 9 \, b r e \log \left (c\right ) \log \left (x\right ) + 9 \, b n e \log \left (f\right ) \log \left (x\right ) + 2 \, b n r e + 3 \, b r e \log \left (c\right ) + 3 \, b n e \log \left (f\right ) + 9 \, b e \log \left (c\right ) \log \left (f\right ) + 9 \, b d n \log \left (x\right ) + 9 \, a r e \log \left (x\right ) + 3 \, b d n + 3 \, a r e + 9 \, b d \log \left (c\right ) + 9 \, a e \log \left (f\right ) + 9 \, a d}{27 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]